| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|
| Seminar I Theoretische Informatik | Aktuelle Themen der Algorithmik (Master) | Seminar | 4 | 360522 | | |
| Algorithmen auf Graphen | Seminar | 4 | 349837 | | |
| Probability and Randomization in Computer Science | Seminar | 4 | 360526 | | |
| Satisfiability Checking | Seminar | 4 | 279666 | Do 10:30-12:00 5055 (2356|055) (×1) | |
| Seminar Komplexitätstheorie | Seminar | 4 | 350757 | | |
| Seminar Komplexitätstheorie II | Seminar | 4 | 362384 | | |
| Verification and Static Analysis of Software | Seminar | 4 | 283169 | | |
| Verifikationsverfahren | Seminar | 4 | 362658 | | |
| Seminar II Theoretische Informatik | Aktuelle Themen der Algorithmik (Master) | Seminar | 4 | 360522 | | |
| Algorithmen auf Graphen | Seminar | 4 | 349837 | | |
| Probability and Randomization in Computer Science | Seminar | 4 | 360526 | | |
| Satisfiability Checking | Seminar | 4 | 279666 | Do 10:30-12:00 5055 (2356|055) (×1) | |
| Seminar Komplexitätstheorie | Seminar | 4 | 350757 | | |
| Seminar Komplexitätstheorie II | Seminar | 4 | 362384 | | |
| Verification and Static Analysis of Software | Seminar | 4 | 283169 | | |
| Verifikationsverfahren | Seminar | 4 | 362658 | | |